Graph rewriting - PDFSEARCH.IO - Document Search Engine

Graph rewriting
Results: 134

#	Item
111	Weakest Preconditions for High-Level Programs (Long Version) Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆ Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2006-08-11 13:42:10 Category theory Morphisms Graph rewriting Graph theory Pushout Epimorphism Category Ample line bundle Sheaf Abstract algebra Mathematics Algebra
112	Generalized Constraints and Application Conditions for Graph Transformation Systems Karl-Heinz Pennemann Carl v. Ossietzky University of Oldenburg, Germany [removed] September 17, 2004 Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2013-07-09 05:42:22 Graph rewriting Category theory Duality Morphism Graph Constraint programming Universal property Category Lattice theory Mathematics Graph theory Theoretical computer science
113	Under consideration for publication in Math. Struct. in Comp. Science Correctness of high-level transformation systems relative to nested conditions A N N E G R E T H A B E L and K A R L - H E I N Z P E N N E M A N N† Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2008-06-16 05:05:39 Morphism Category Pushout Graph rewriting Grothendieck topology Sheaf Universal property Monomorphism Initial and terminal objects Category theory Abstract algebra Mathematics
114	Development of correct graph transformation systems Preliminary abstract Karl-Heinz Pennemann University of Oldenburg, Germany?? [removed] Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2008-06-11 06:38:02 Formal methods Graph rewriting Model checking Predicate transformer semantics Graph Graph theory Mathematics Theoretical computer science
115	Weakest Preconditions for High-Level Programs Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆ {habel,pennemann}@informatik.uni-oldenburg.de 2 Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2006-06-21 08:43:28 Algebra Morphisms Algebraic geometry Predicate transformer semantics Program logic Pushout Graph rewriting Epimorphism Ample line bundle Abstract algebra Mathematics Category theory
116	3 RD I NTERNATIONAL W ORKSHOP ON G RAPH BASED T OOLS Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2006-09-05 14:08:23 Formal methods Graph rewriting Predicate transformer semantics Compiler construction Model checking KeY Duality Graph Compiler Theoretical computer science Mathematics Graph theory
117	Presentation of Information for Link Analysis Jerome Thomere & Michael Wolverton Artificial Intelligence Center SRI International 333 Ravenswood Ave Menlo Park, California 94025 Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2006-11-09 21:29:59 Pattern matching Pattern Graph Structure mining Graph rewriting Graph theory Mathematics Design
118	GT-VMT[removed]A satellite event of Add to Reading List Source URL: www.cs.le.ac.uk Language: English - Date: 2009-10-19 09:08:31 Modeling language Distributed computing Mathematics Computer science Abstraction Graph rewriting Scientific modeling Concurrency
119	GT-VMT 2010 9th International Workshop on Add to Reading List Source URL: www.cs.le.ac.uk Language: English - Date: 2010-03-18 04:52:18 Combinatorics Theoretical computer science Model transformation language Graph rewriting Graph theory Mathematics
120	SEE COMMENTARY The discovery of structural form Add to Reading List Source URL: www.psy.cmu.edu Language: English - Date: 2008-08-01 07:51:06 Multivariate statistics Graphical model Cluster analysis Supervised learning Tree Phylogenetic tree Synthetic data Graph rewriting Statistics Machine learning Cybernetics

UPDATE